void portal(Player @player, Portal @portal) {
player.showMessage("You are now on the rooftop of the Mu Lung Dojo.");
player.changeMap(925020003);
}